ISO、IEC和ITU-T智慧城市定义分析

智慧城市定义是认识其知识单元和理解其本质特征、构建共识的基础.文章采用ISO 704:2009的理论框架,分析了ISO、IEC和ITU-T对智慧城市的定义,通过解构定义的智慧城市对象、利益相关方、涉及领域、智慧城市实现目标及愿景和实现路径,得出了三大国际标准化组织的智慧城市核心概念、概念关系和其认知视角,通过对三大标准化组织14位专家的问卷调查分析摸清了智慧城市核心概念的不同认知.基于系统方法和综合集成思想提出了多维度构建统一智慧城市定义的建议,为三大标准化组织智慧城市定义的标准化协同和融合提供了有效路径.     

对多元函数最值问题的思考与教学探讨

多元函数的最值问题是高等数学课程的教学难点之一,众多教材重点讲解了如何计算多元函数的最值,而没有深入探究计算函数最值的前提:函数最值的存在性.深入分析了经典教材中的几个实例,证明了这些问题的最小值(或最大值)是存在的,从而打消学生在学习过程中的疑虑,让学生更深刻地理解多元函数最值的存在性.     

SCFST柱框架-支撑结构恢复力模型

通过对SCFST柱框架-支撑结构进行拟静力性能研究发现,支撑、梁、柱依次发生破坏,结构破坏机制合理,滞回曲线呈梭形,无捏拢现象,耗能能力良好,骨架曲线的下降过程较为平缓,延性较好,结构在整体上表现出较好的抗震性能,有限元数值模拟与试验结果符合程度较高,验证了有限元模型的正确性。主要研究支撑两边柱的轴压比、单肢柱不同组合截面形式和框架-支撑结构中支撑钢管的刚度等因素,基于大量的有限元数值模型对其进行分析,得到了SCFST柱框架-支撑抗侧力结构的恢复力模型。运用回归分析方法建立结构的三折线骨架模型,明确了SCFST柱框架-支撑结构的滞回和退化规律,建立了此体系框架-支撑结构简化的滞回模型,并与试验结果进行对比分析,二者骨架曲线基本一致,滞回环形状均呈近似的平行四边形,吻合度较高。     

云计算环境中基于属性的多权威访问控制方法

在云计算环境中,如何实现在不可信及动态变化的云计算环境中对加密数据的访问控制是云计算走向实际应用亟待解决的问题之一.文中提出了一种基于属性的访问控制方法,该方法将密文长度及加解密过程的计算量限制为固定值,提高了系统的计算效率,并且引入了层次化的授权结构,降低了单一权威授权的负担,提高了安全性.文中分析了方法的安全性、可扩展性和计算复杂性等性能,实验结果证明了该方法在域权威授权、用户授权及加解密等过程中的计算量上的优越性.     

闪烁室测氡仪采样方式对刻度系数的影响研究

针对闪烁室测氡仪在多种采样方式的刻度系数,以FD125氡钍分析仪为实验仪器,分别对真空法、循环法和连续监测法等3种采样方式得到的刻度系数进行对比研究.结果表明,不区分采样方式使用同一刻度系数会引入较大的测量误差.通过对比分析3种采样方式的效率因子,得出循环采样法采样时间为10 min的采样效率最高,真空采样法的效率最低,而且循环采样法其采样时间越长,采样效率越高,但循环采样时间过长会影响氡与其子体的平衡,降低效率因子.     

论职业院校的教学文化变革

职业院校的教学文化变革是职业院校教学改革向纵深发展的内在要求.因此,我们一定要树立教学文化变革的开放意识,具备更加广阔的视野,对教学文化变革的内涵、价值和策略进行更加理性的审视,进而形成职业院校的教学品牌文化.     

蚁群算法求解离散最小约束去除问题

摘要： 引入蚁群算法解决最小约束去除运动规划问题,在求解过程中对蚁群算法的启发函数以及信息素更新策略进行改进,使其不再易于陷入局部极值并适合求解该问题.仿真实验结果表明,该算法在解的质量和收敛速度上优于精确搜索与贪心算法.     

基于Accord.NET框架的全景图自动拼接

基于Accord.NET框架,创建了可以全自动拼接2幅不同景观图片的算法流程,用Harris算法对图片进行特征提取,使用最大关联准则匹配相似像素点,并利用RANSAC算法对伪匹配集提纯,构造鲁棒性优越的单应性矩阵以优化匹配效果,最后利用改进的线性Alpha通道融合完成图片缝合,实现了拼接处的平滑过渡,并将各处理流程封装成Accord.NET处理类,便于2次开发与推广.实验表明,图片合成处理流程效率高,成像效果理想,具有较高的实用价值.     

延安市污水资源化可行性分析

延安市是一个资源型缺水城市,水资源匮乏已经成为制约区域社会经济发展、生态环境改善、人民生活水平提高的重要瓶颈。污水资源化是解决水危机、防治水污染的有效途径之一。本文研究分析了延安市水资源状况和水资源短缺的原因,阐述了污水资源化利用的可行性,进行了经济效益分析,并在此基础上提出了加快污水资源化的对策和建议。     

单纯及丙泊酚联合电休克对抑郁大鼠海马TNF—α表达的影响

目的探讨单纯电休克及丙泊酚联合电休克对抑郁大鼠电休克治疗效果及海马内TNF-α表达的影响。方法50只成年Wistar大鼠随机分为5组（n=10）：正常对照组（C组）、抑郁组（D组）、单纯丙泊酚组（DP组）、单纯电休克组（E组）、丙泊酚联合电休克组（M组）。C组正常饲养，其余采用经典的慢性不可预见性应激法建立抑郁模型。建模成功后，E组直接行电休克治疗，M组腹腔注射丙泊酚90mg／kg，麻醉产生效应后行电休克治疗，每日进行以上处理1次，连续7日。以Open—field法和糖水消耗实验进行行为学评分。实验完成后处死大鼠，用免疫组化染色法检测TNF—α受体蛋白的表达；ELISA法海马TNF-α的含量，RT-PCR法测海马TNF—α mRNA表达。结果E组和M组大鼠的行为学评分高于D组和DP组，且M组高于E组（P〈0．05）；D组和DP组海马内TNF-α含量以及mRNA的表达高于其它各组（P〈0．05），M组海马内TNF—α含量以及mRNA的表达低于E组（P〈0．05），与C组差异无统计学意义（P〉0．05）；D组和DP组海马区TNF-α受体表达量低于C组（P〈0．05），M组的表达量接近于C组，但高于E组（P〈0．05）。结论慢性应激使大鼠海马内TNF—α含量升高及其受体表达下调，从而产生抑郁症。丙泊酚可以改善电休克抑郁症状可能与进一步下调抑郁大鼠海马内TNF—α的含量和上调其受体表达有关。